Farming for Health: Aspects from Germany

Until now, the term ‘Farming for Health’ is unknown in Germany but it would cover a wide spectrum of different kinds of social agriculture already existing in Germany, such as farms that integrate disabled people or drug therapy into their farming system, or farms that integrate children, pupils or older people. Relevant work in Germany is done in ‘Sheltered Workshops’, where supporting and healing powers of farming and gardening are used for disabled people with a diversity of work possibilities. Relevant activities also take place in work-therapy departments using horticultural therapy and in animalassisted therapy. There are an estimated number of 1000 different projects for mentally ill, disabled and elderly people in hospitals, Sheltered Workshops, on farms and other projects in Germany with a multitude of individual work places. The upcoming idea of Farming for Health may be met by the term ‘multifunctionality’ as one of the future goals of agriculture: to combine the production of cash crops with social functions, like providing space for recreation, care for landscapes and care for disabled people. Research showed that farms that work together with clients in their farming system have more time and financial support to integrate aims like caring for biotopes and landscape measures into their work schedule

Personalized And Situation-Aware Recommendations For Runners

The project uService investigates the transformation of a mobile user into a service super prosumer, i.e., a producer, provider and consumer of services at the same time. The goal is to develop a platform which enables a user to create, discover and consume mobile services anywhere and at any time on the mobile device. uRun is an application scenario of the project in the field of mobile health and fitness. The uRun framework provides a mobile assistance system particularly for runners, which combines Web 2.0 and Web 3.0 technologies and personalized and situation-aware recommendation mechanisms. The ability to create individual and mobile health and fitness services as well as a personalized and situation-aware assistance system based on a semantic knowledge base are considered to provide an edge over existing consumer-centric health care systems. In this article, we describe the recommendation mechanism and the incorporation of semantic knowledge for the uService platform and the uRun framework

Enhancing the Message Concept of the Object Constraint Language

The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of OCL messages that enable modelers to put restrictions on messages sent

Towards the Completion of the Formal Semantics of OCL 2.0

The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization process, a proposal for the new version OCL 2.0 has recently been adopted by the Object Management Group. This proposal provides extensive semantic descriptions by both a metamodelbased as well as a formal mathematical approach, but these two semantics are currently neither consistent nor complete. In particular, the formal semantics of the OCL 2.0 proposal currently lacks descriptions of ordered sets, global OCL variable definitions, UML Statechart states, and OCL messages. This article provides corresponding definitions to overcome these deficiencies. We also define a notion of execution traces that capture all system changes of a running system that are necessary to be able to evaluate OCL constraints

Abstract OCL 2.0- UML 2003 Preliminary Version

While the type system proposed in the OCL Standard Library of the latest OCL 2.0 proposal seems to be considerably stable by now, there are still some deficiencies in the definition of operations for type casts and type conformance checks. This results from the fact that the types defined on the user-level are currently not well represented in the OCL Standard Library. This article presents a new modeling approach to adequately capture these types in the OCL Standard Library through the UML core concept called powertype. The powertype concept allows to model a metaelement on the architectural user level M1. By this approach, we propose an enhanced structure of the OCL Standard Library that prescribes a controlled way for accessing the metalevel

Past- and Future-Oriented Time-Bounded Temporal Properties with OCL

We present the syntax and semantics of a past- and future-oriented temporal extension of the Object Constraint Language (OCL). Our extension supports designers to express time-bounded properties over a state-oriented UML model of a system under development. The semantics is formally defined over the system states of a mathematical object model. Additionally, we present a mapping to Clocked Linear Temporal Logic (Clocked LTL) formulae, which is the basis for further application in verification with model checking. We demonstrate the applicability of the approach by the example of a buffer specification in the context of a production system

Specification of Real-Time Properties for UML Models

The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynamic behavior of a model. This articl

Formal Semantics Of OCL Messages

The latest OCL 2.0 proposal provides two semantic descriptions, i.e., a metamodelbased semantics that uses UML itself to associate the semantic domain with the language concepts and a formal semantics based on a set-theoretic approach called object model. Unfortunately, these two semantics are currently neither consistent nor complete, as (a) the formal semantics does not consider the newly introduced concept of OCL messages and (b) both semantics lack an integration of Statecharts and a semantic definition of state-related operations